class(e75,virginica).
class(e62,virginica).
class(e37,virginica).
class(e76,virginica).
class(e107,versicolor).
class(e95,setosa).
class(e12,versicolor).
class(e57,virginica).
class(e82,setosa).
class(e28,virginica).
class(e24,versicolor).
class(e60,setosa).
class(e133,versicolor).
class(e69,setosa).
class(e25,virginica).
class(e67,virginica).
class(e115,setosa).
class(e1,versicolor).
class(e24,virginica).
class(e33,versicolor).
class(e100,virginica).
class(e17,versicolor).
class(e49,versicolor).
class(e76,setosa).
class(e27,versicolor).
class(e30,virginica).
class(e143,versicolor).